Rust: Path resolution before variable resolution #20716
Conversation
hvitved
force-pushed
the
rust/path-resolution-variable-impl
branch
from
40672af to
66ba81a
Compare
hvitved
force-pushed
the
rust/path-resolution-variable-impl
branch
from
66ba81a to
f41c74b
Compare
hvitved
force-pushed
the
rust/path-resolution-variable-impl
branch
from
f41c74b to
fa48969
Compare
![github-advanced-security[bot]](https://avatars.githubusercontent.com/in/57789?s=60&v=4){kind=small}
| ) { | ||
| name = cand.getName() and | ||
| scope = [cand.(VariableScope), getEnclosingScope(cand)] and | ||
| ( |
Check warning
Code scanning / CodeQL
Redundant cast Warning
| ) | ||
| } | ||
|
|
||
| private predicate testvariableAccessCandInScope( |
Check warning
Code scanning / CodeQL
Dead code Warning
| ) | ||
| } | ||
|
|
||
| private predicate testvariableReachesCand( |
Check warning
Code scanning / CodeQL
Dead code Warning
| ) | ||
| } | ||
|
|
||
| private predicate testaccess(string name, NestedFunctionOrVariable v, VariableAccessCand cand) { |
Check warning
Code scanning / CodeQL
Dead code Warning
| } | ||
| } | ||
|
|
||
| private ItemNode testgetAChildSuccessor(ItemNode item, string name, SuccessorKind kind) { |
Check warning
Code scanning / CodeQL
Dead code Warning
| // ) | ||
| } | ||
|
|
||
| private ItemNode testresolveUseTreeListItem(Use use, UseTree tree) { |
Check warning
Code scanning / CodeQL
Dead code Warning
| ) | ||
| } | ||
|
|
||
| private predicate testussdfeImportEdge(Use use, string name, ItemNode item, SuccessorKind kind) { |
Check warning
Code scanning / CodeQL
Dead code Warning
| } | ||
|
|
||
| pragma[nomagic] | ||
| private predicate testuseImportEdge(Use use, SuccessorKind kind, UseTree tree, ItemNode used) { |
Check warning
Code scanning / CodeQL
Dead code Warning
1 participant
No description provided.